8 results for Roderick Bloem
-
Anchor for 1 page of results
-
-
-
-
-
-
Decidability of Parameterized V...
Paperback
Published 30 Sep 2015 -
Computer Aided Verification
Paperback
Published 20 Jul 2014 -
Handbook of Model Checking
Paperback
Published 14 Nov 2020